The two .rda files in this directory are downloaded using the .R files in the
Data/ directory. See the Makefile.datasetup file for details.
